solve(x^2 - 2x - 3)